Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
arxiv.org·3h
🎮Game Engines
Sync primitives are Functionally Complete
kprotty.me·21h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Async Rust
AISN #60: The AI Action Plan
lesswrong.com·13h
🤖AI
Show HN: Term – Rust-based data validation with OpenTelemetry
github.com·1d·
Discuss: Hacker News
🔧Embedded Rust
Towards Safe and Comfortable Vehicle Control Transitions: A Systematic Review of Takeover Time, Time Budget, and Takeover Performance
arxiv.org·1d
🎮Game Engines
Our $100M Series B
oxide.computer·1d·
Discuss: Lobsters, Hacker News
🔒Hardware Security
Opsqueue: Lightweight batch processing queue for heavy loads – now open-source
channable.com·1d·
Discuss: Lobsters, Hacker News
🗄️Database Internals
Tensor-based reduction of linear parameter-varying state-space models
arxiv.org·3h
🧮Linear Algebra
Collaborative State Machines: A Better Programming Model for the Cloud-Edge-IoT Continuum
arxiv.org·2d
🌍Distributed Systems
Toward the Autonomous AI Doctor: Quantitative Benchmarking of an Autonomous Agentic AI Versus Board-Certified Clinicians in a Real World Setting
arxiv.org·3h
🤖AI
Federated Distributionally Robust Optimization with Non-Convex Objectives: Algorithm and Analysis
arxiv.org·1d
🌍Distributed Systems
Go Assembly Mutation Testing
words.filippo.io·14h·
Discuss: Lobsters, Hacker News, r/programming
🔧Embedded Rust
A Timing Problem for Instrumental Convergence
lesswrong.com·1d
🌍Distributed Systems
The smallest embeddable scripting language, part 1
log.schemescape.com·15h·
Discuss: Lobsters, Hacker News, r/programming
🏗️LLVM
Our first outage from LLM-written code
sketch.dev·12h·
Discuss: Lobsters, Hacker News
🏗️LLVM
In-Network Leaderless Replication for Distributed Data Stores
vldb.org·13h·
Discuss: Lobsters, Hacker News, r/programming
🌍Distributed Systems
From Frustration to Power: What We Learned at Nixcademy
niteo.co·18h·
Discuss: Lobsters, Hacker News
🔧Embedded Rust
Hybrid Particle Swarm Optimization for Fast and Reliable Parameter Extraction in Thermoreflectance
arxiv.org·3h
🕯️Candle
Using Containers to Speed Up Development, to Run Integration Tests and to Teach About Distributed Systems
arxiv.org·2d
🕸️WebAssembly
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
arxiv.org·2d
🔧Embedded Rust